.syntax-container.syntax-theme-base div.fixed.syntax {
  padding: 0 !important;
  margin: 0 !important; }
  .syntax-container.syntax-theme-base div.fixed.syntax .numbers-column {
    float: left;
    text-align: right;
    margin-right: 0em;
    width: 3em; }
    .syntax-container.syntax-theme-base div.fixed.syntax .numbers-column div {
      padding: 0 0.4em 0 !important; }
  .syntax-container.syntax-theme-base div.fixed.syntax .code-column {
    overflow: auto; }
    .syntax-container.syntax-theme-base div.fixed.syntax .code-column table {
      border-collapse: collapse;
      width: 100%;
      white-space: pre; }
    .syntax-container.syntax-theme-base div.fixed.syntax .code-column .source {
      margin: auto !important;
      padding: 0 0.4em 0 !important; }
